Nuprl Definition : ma-valtype
0,22
postcript
pdf
Valtype(
da
;
k
) ==
da
(
k
)?Top
latex
clarification:
Valtype(
da
;
k
) == fpf-cap(
da
;KindDeq;
k
;Top)
latex
Definitions
f
(
x
)?
z
,
KindDeq
,
Top
FDL editor aliases
ma-valtype
origin